| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| manual.dvi | Device Independent File | 10 | 56KB | 1997-08-26 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| history.txt | Text File | 53 | 2KB | 1997-08-27 |
| manual.txt | Text File | 812 | 38KB | 1997-08-26 |
| read_me.txt | Text File | 5 | 134b | 1995-12-02 |
| register.txt | Text File | 75 | 2KB | 1997-09-16 |